基于漏洞知识库的8031单片机系统软件漏洞检测算法

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库的设计提出了一种基于知识的漏洞检测算法,用于检测8031单片机系统漏洞。基于上述方法设计并实现了软件安全性逆向分析系统,对8031单片机系统进行漏洞检测。实验结果表明,基于该漏洞知识库的漏洞检测算法可以对目标程序正确进行漏洞检测,有利于降低软件代码漏洞量,并在一定程度上降低成本和资源消耗。      

冲击波诱导形成颗粒射流的实验研究

颗粒材料在冲击波的作用下会形成射流状的结构.基于准二维的实验平台,观察了颗粒环在中心径向冲击载荷的作用下,内部射流的形成过程.发现射流是由颗粒环内表面产生然后发展到颗粒环外表面形成外部射流.当加载压力变化时,射流的形态、尺寸和分布也会发生变化,而早期内部射流的数量基本不变,随着加载压力增大,后期的内部射流数量逐渐降低.其原因是加载压力越大,射流分布越不均匀,在颗粒环运动的过程中,尺寸较大的射流会与周围的小射流合并,从而使射流数目大大减少.     

一类含积分边界条件分数阶微分方程解的存在性和唯一性

研究一类含积分边界条件非线性分数阶微分方程{~CD~αu(t)+f(t,u(t))=0,2α3,0t1, u(0)=u″(0)=0,u(1)=λ∫10u(s)ds,0λ2,解的存在性和唯一性,借助于Green函数的性质,利用Schauder不动点定理和Banach压缩映射原理,得到该边值问题解的存在性和唯一性定理,并举例验证所得结论的有效性.     

基于腔QED系统实现多种量子克隆

在腔QED中,基于原子与腔场的相互作用,它提出了一个通过控制原子与场相互作用的时间实现多种量子克隆的方案。例如,对于任意的输入量子态,可以实现普适的最优量子克隆;对于赤道输入量子态,通过参数调控,可以实现非对称性的1→2相位协变克隆和最优的非对称性的经济型的1→3相位协变克隆。在整个克隆过程中,由于原子与大失谐模式的腔场相互作用,所以该方案不受腔损和热场的影响。     

开口U形肋组合桥面板基本力学性能

为了检验所提出的开口U形肋组合桥面板在桥梁使用中的受力性能,并区分其与常规桥面板的受力性能,设计制作了3个不同桥面板试件,其中包括1个混凝土桥面板、1个正交异性钢桥面板、1个带U形肋组合桥面板.通过静力试验测试了不同桥面板在荷载作用下负弯矩区混凝土开裂情况、桥面板不同部位的结构应变和变形、极限承载力等.试验结果表明,在车轮荷载作用下,开口U形肋组合桥面板的应力远远低于正交异性钢桥面板的应力,避免了桥面板钢结构疲劳的发生;在重量比混凝土桥面板小57%的情况下,组合桥面板的承载力是混凝土桥面板的1.42倍;在用钢量约为钢桥面板1/2的情况下,二者的承载力相当.     

稠油热采井套管柱应变设计方法

为解决稠油热采井不断出现的套管损坏现象,改变传统的管柱强度设计方法。基于弹塑性力学理论,在满足套管柱强度设计的基础上建立套管柱应变计算模型;通过对比套管材料应变与结构应变,借助Rambery-Osgood模型得到应变安全系数最小值,提出套管柱应变设计的理论判据,形成套管柱应变设计方法。结果表明,该设计方法在西部油田8口稠油热采井Φ177.8 mm×8.05 mm TG80H特殊螺纹套管柱设计中得到应用,生产4轮次后套管柱未出现变形和泄漏现象,经过14轮次后,套管服役性能依然良好,新热采井套管柱应变设计方法允许套管在可控范围内变形,可有效延长套管使用寿命,降低套损率。     

基于二进神经网络的稀疏编码架构的图像无损压缩新方法

视频图像的高效无损压缩在海量的航空和遥感图像传输、珍贵的文物信息的保存等方面具有重要的应用价值,而目前的研究热点主要针对有损压缩,为此通过对现有的无损压缩方法的分析和研究,提出一种在稀疏编码与二进神经网络相结合的框架下建立新的图像无损压缩方法.首先借助二进神经网络中的线性可分结构系建立冗余字典,获得有效的稀疏分解基;再借助二进神经网络学习算法将图像映射为以线性可分结构系为神经元的二进制神经网络,在此基础上建立相应的模式匹配算法将每个神经元与冗余字典简历映射关系,通过稀疏系数建立原始图像的编码形式,进而实现了图像的无损压缩,并从理论上分析了该方法可以有效地提高压缩比,最后通过实验验证了该算法的有效性和通用性.     

基于微带谐振法的介电常数无损伤测量

为了能够简便且无损伤地测量介质的介电常数,介绍了一种基于微带谐振法的介电常数无损伤测量方法,测量装置采用四分之一波长型阶跃阻抗谐振器(stepped impedance resonator,SIR)以及背面缝隙耦合的馈电结构,使得测量装置不仅尺寸小巧而且易于贴近待测介质表面进行非破坏性测量.待测介质的介电常数由待测介质的厚度和测量前后谐振频率的变化决定,三者的函数关系式由三维电磁仿真以及三维数据拟合获得.此外,设计并制作了一款谐振频率在2 GHz频段的实物装置,实测了6种样品的介电常数,测量结果与安捷伦E4991A测试仪的测量值进行比较.根据实测比对,该测量装置的相对测量精度在±6％.最后,仿真研究了接触面缝隙带来的测量误差,并给出了相应的参考曲线.     

自然保护区立法中部门合作的演化博弈分析

针对自然保护区立法工作中涉及管理部门多、责权关系交错复杂、各部门保护投入和利用收益冲突问题,运用演化博弈理论方法,建立部门合作关系的演化博弈模型,分析立法过程中利益部门合作的动态演变过程,重点讨论了合作产生的超额利润、合作所投入的初始成本、自然资源服务能力、贴现因子等影响系统演化行为的几个参数变化及控制方法,并根据模型分析提出了相应的对策建议。研究结果表明,各部门策略的演化方向与博弈双方的支付矩阵相关,并受到系统初始状态的影响。自然保护区立法中应正确引导各个利益主体部门趋于合作,遵从部门合作收益的极大化原则,建立良好的立法环境以及坚持长远的观点,才能建立科学合理的自然保护区法律制度,实现自然保护区保护和利用共赢的目的。该模型的建立既丰富了环境立法的理论和方法,同时为自然保护区立法实践工作提供指导。     

酿酒酵母钙调蛋白依赖性激酶-2的过量表达及其在氧化胁迫应答中的作用初探

利用PCR方法扩增钙调蛋白依赖性激酶（CaM-dependent kinase ,cmk）-2基因的蛋白质编码序列,经限制性内切酶Kpn I和BamH I酶切后连接入空载体pYES2/NTA构建真核表达载体,构建的pYES2/NTA-cmk2转化酿酒酵母菌株BY4741进行真核表达.经诱导和收集细胞后,对酵母细胞用玻璃珠震荡破壁,收集上清液进行镍离子亲和层析,并纯化Cmk2,纯化的蛋白通过Western blot检测.并且初步研究了Cmk2在酵母细胞氧化胁迫应答中的作用.